﻿<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
	<title>Log</title>
	<style type="text/css">
		html, body
		{
			background: white;
			font-family: Consolas, "Courier New", Courier, monospace;
			font-size: 12px;
			line-height: 14px;
		}

		pre
		{
			margin: 0;
			padding: 0;
		}

		.error
		{
			color: red;
		}
	</style>
	<script type="text/javascript">
		function WriteLine(message, css)
		{
			var html = '<pre class="' + css + '">' + message + '</pre>\n';
			document.getElementById("wrapper").innerHTML += html;
			ScrollToBottom();
		}

		function Clear()
		{
			document.getElementById("wrapper").innerHTML = "";
		}

		function ScrollToBottom()
		{
			window.scrollTo(0, document.body.scrollHeight);
		}
	</script>
</head>
<body>
	<div id="wrapper">
	</div>
</body>
</html>